(0 15 3)(1 20 10)(2 17 9)(4 8 6)(5 18 16)(7 14 12)(11 19 13)
ALLOWS (11/8)-SEQUENCE
1: (2 9 17)
(0 15 3)(1 20 10)(2 9 17)(4 8 6)(5 18 16)(7 14 12)(11 19 13)
2: (5 18 16)
(0 15 3)(1 20 10)(2 9 17)(4 8 6)(5)(7 14 12)(11 19 13)(16)(18)
3: (2 9 17)
(0 15 3)(1 20 10)(2)(4 8 6)(5)(7 14 12)(9)(11 19 13)(16)(17)(18)
4: (0 15 3)
(0)(1 20 10)(2)(3)(4 8 6)(5)(7 14 12)(9)(11 19 13)(15)(16)(17)(18)